ActivAda for Real-Time

The ActivAda for Real-Time cross-development environments help to realize the full potential of Ada on embedded systems, enhanced with an easy-to-use, productivity enhancing, Windows development environment. ActivAda supports the development of 32-bit protected mode applications for all 80386, 80486, and Pentium(R) processors.
The highly optimized compiler has been fielded for well over a decade, and includes run-time configurations scalable from a minimal kernel (with a footprint of about 1.5K) to a full Ada executive including multi-tasking and exception handling capabilities without arbitrary limitations. For complex applications that require reliable, predictable behavior, the real-time kernel supports Rate Monotonic Scheduling through the Priority Queuing and Priority Inheritance Protocol. When used with integrated RMA tools, these scheduling policies provide a mathematical guarantee of tasking performance under even worst-case conditions.
The C-SMART certification package is also available. This package is essential for producing certified solutions to safety-critical applications, and is compliant with the most stringent FAA standards. It includes a complete set of supporting materials for archieving certification.